1
Fundamentos da Lógica Sequencial
MATH002Lesson 12
00:00
A transição da lógica combinacional para a lógica sequencial introduz a dimensão do tempo, onde a saída de um circuito já não depende apenas dos valores atuais de entrada, mas também do histórico do sistema. Essa "memória" tem raízes físicas e matemáticas no Atraso de Tempo Unitário, que serve como o bloco fundamental para todos os modelos computacionais baseados em estado.

Circuitos Combinacionais vs. Circuitos Sequenciais

No domínio digital, distinguimos entre sistemas que vivem no "agora" e sistemas que lembram do "então":

  • Circuitos Combinacionais: Esses são sem memória. Assim como uma simples chave de luz que está ou ligada ou desligada, a saída é estritamente uma função dos valores atuais de entrada.
  • Circuitos Sequenciais: Esses utilizam laços de retroalimentação para incorporar entradas passadas na tomada de decisões atuais. Eles efetivamente pontuam o espaço entre portas lógicas simples e máquinas de estado finitas complexas.
Definição 12.1.1

Um atraso de tempo unitário é um componente primitivo que aceita como entrada um bit $x_t$ no tempo $t$ e produz $x_{t-1}$, o bit recebido como entrada no tempo $t-1$.

O Conceito de Estado

A integração de atrasos de tempo unitário permite a criação de estado. A disposição dos bits armazenados determina como a máquina responderá a sequências futuras de estímulos. Sem essa sequenciamento, o cálculo ficaria limitado a avaliações estáticas.

Analogia com o Interruptor de Alternância

Considere um "Interruptor de Alternância" digital onde um único botão acende e apaga uma luz. Um circuito combinacional só poderia detectar se o botão está atualmente pressionado. No entanto, ao usar um atraso de tempo unitário para armazenar o estado anterior da luz ($x_{t-1}$), um circuito sequencial pode determinar que, se o botão for pressionado e a luz estava anteriormente desligada ($x_{t-1}=0$), a nova saída deverá ser ligada ($x_t=1$).

🎯 Princípio Central
A memória na ciência da computação é representada matematicamente por atrasos. Um circuito sequencial é essencialmente lógica combinacional envolta em um laço de retroalimentação contendo atrasos de tempo unitários.